node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,48) :- #0.441.
link(48,1) :- #0.554.
link(1,59) :- #0.575.
link(59,1) :- #0.454.
link(1,72) :- #0.974.
link(72,1) :- #0.418.
link(1,75) :- #0.232.
link(75,1) :- #0.426.
link(1,97) :- #0.749.
link(97,1) :- #0.246.
link(1,110) :- #0.277.
link(110,1) :- #0.679.
link(1,128) :- #0.931.
link(128,1) :- #0.5.
link(1,131) :- #0.949.
link(131,1) :- #0.575.
link(1,146) :- #0.926.
link(146,1) :- #0.489.
link(1,149) :- #0.152.
link(149,1) :- #0.596.
link(2,6) :- #0.648.
link(6,2) :- #0.411.
link(2,22) :- #0.29.
link(22,2) :- #0.101.
link(2,31) :- #0.693.
link(31,2) :- #0.048.
link(2,45) :- #0.978.
link(45,2) :- #0.573.
link(2,54) :- #0.493.
link(54,2) :- #0.129.
link(2,61) :- #0.675.
link(61,2) :- #0.556.
link(2,72) :- #0.637.
link(72,2) :- #0.216.
link(2,73) :- #0.826.
link(73,2) :- #0.751.
link(2,75) :- #0.852.
link(75,2) :- #0.23.
link(2,80) :- #0.338.
link(80,2) :- #0.419.
link(2,89) :- #0.057.
link(89,2) :- #0.125.
link(2,106) :- #0.696.
link(106,2) :- #0.198.
link(2,116) :- #0.67.
link(116,2) :- #0.424.
link(2,129) :- #0.801.
link(129,2) :- #0.21.
link(3,14) :- #0.913.
link(14,3) :- #0.168.
link(3,73) :- #0.849.
link(73,3) :- #0.223.
link(3,82) :- #0.161.
link(82,3) :- #0.88.
link(3,84) :- #0.45.
link(84,3) :- #0.321.
link(3,88) :- #0.959.
link(88,3) :- #0.49.
link(3,89) :- #0.641.
link(89,3) :- #0.809.
link(3,95) :- #0.905.
link(95,3) :- #0.072.
link(3,104) :- #0.693.
link(104,3) :- #0.635.
link(3,145) :- #0.173.
link(145,3) :- #0.257.
link(4,33) :- #0.268.
link(33,4) :- #0.81.
link(4,34) :- #0.671.
link(34,4) :- #0.142.
link(4,42) :- #0.01.
link(42,4) :- #0.82.
link(4,44) :- #0.012.
link(44,4) :- #0.415.
link(4,53) :- #0.183.
link(53,4) :- #0.819.
link(4,54) :- #0.306.
link(54,4) :- #0.792.
link(4,60) :- #0.23.
link(60,4) :- #0.083.
link(4,63) :- #0.868.
link(63,4) :- #0.966.
link(4,65) :- #0.882.
link(65,4) :- #0.371.
link(4,70) :- #0.925.
link(70,4) :- #0.553.
link(4,92) :- #0.523.
link(92,4) :- #0.078.
link(4,105) :- #0.31.
link(105,4) :- #0.34.
link(4,106) :- #0.398.
link(106,4) :- #0.475.
link(4,115) :- #0.476.
link(115,4) :- #0.833.
link(4,122) :- #0.952.
link(122,4) :- #0.626.
link(4,139) :- #0.393.
link(139,4) :- #0.335.
link(4,147) :- #0.097.
link(147,4) :- #0.272.
link(5,14) :- #0.471.
link(14,5) :- #0.571.
link(5,19) :- #0.871.
link(19,5) :- #0.849.
link(5,29) :- #0.303.
link(29,5) :- #0.218.
link(5,42) :- #0.338.
link(42,5) :- #0.03.
link(5,44) :- #0.292.
link(44,5) :- #0.458.
link(5,56) :- #0.128.
link(56,5) :- #0.362.
link(5,58) :- #0.125.
link(58,5) :- #0.995.
link(5,59) :- #0.118.
link(59,5) :- #0.53.
link(5,92) :- #0.035.
link(92,5) :- #0.6.
link(5,117) :- #0.8.
link(117,5) :- #0.19.
link(5,119) :- #0.353.
link(119,5) :- #0.597.
link(5,120) :- #0.087.
link(120,5) :- #0.382.
link(5,128) :- #0.282.
link(128,5) :- #0.275.
link(5,132) :- #0.155.
link(132,5) :- #0.15.
link(5,141) :- #0.017.
link(141,5) :- #0.669.
link(6,13) :- #0.213.
link(13,6) :- #0.731.
link(6,22) :- #0.554.
link(22,6) :- #0.881.
link(6,23) :- #0.635.
link(23,6) :- #0.545.
link(6,32) :- #0.037.
link(32,6) :- #0.956.
link(6,44) :- #0.953.
link(44,6) :- #0.338.
link(6,46) :- #0.437.
link(46,6) :- #0.489.
link(6,51) :- #0.915.
link(51,6) :- #0.146.
link(6,71) :- #0.421.
link(71,6) :- #0.795.
link(6,78) :- #0.973.
link(78,6) :- #0.018.
link(6,84) :- #0.551.
link(84,6) :- #0.461.
link(6,87) :- #0.514.
link(87,6) :- #0.603.
link(6,106) :- #0.478.
link(106,6) :- #0.086.
link(6,113) :- #0.364.
link(113,6) :- #0.984.
link(6,119) :- #0.584.
link(119,6) :- #0.448.
link(6,122) :- #0.01.
link(122,6) :- #0.634.
link(6,130) :- #0.071.
link(130,6) :- #0.182.
link(6,140) :- #0.802.
link(140,6) :- #0.746.
link(6,146) :- #0.596.
link(146,6) :- #0.703.
link(7,19) :- #0.647.
link(19,7) :- #0.541.
link(7,23) :- #0.263.
link(23,7) :- #0.567.
link(7,29) :- #0.308.
link(29,7) :- #0.809.
link(7,56) :- #0.68.
link(56,7) :- #0.058.
link(7,60) :- #0.992.
link(60,7) :- #0.903.
link(7,61) :- #0.395.
link(61,7) :- #0.858.
link(7,62) :- #0.08.
link(62,7) :- #0.58.
link(7,63) :- #0.837.
link(63,7) :- #0.081.
link(7,67) :- #0.374.
link(67,7) :- #0.537.
link(7,75) :- #0.762.
link(75,7) :- #0.591.
link(7,90) :- #0.397.
link(90,7) :- #0.564.
link(7,105) :- #0.64.
link(105,7) :- #0.939.
link(7,111) :- #0.001.
link(111,7) :- #0.182.
link(7,112) :- #0.587.
link(112,7) :- #0.527.
link(7,118) :- #0.711.
link(118,7) :- #0.147.
link(7,124) :- #0.838.
link(124,7) :- #0.206.
link(7,125) :- #0.041.
link(125,7) :- #0.688.
link(7,127) :- #0.873.
link(127,7) :- #0.708.
link(7,135) :- #0.888.
link(135,7) :- #0.018.
link(7,142) :- #0.565.
link(142,7) :- #0.394.
link(7,146) :- #0.447.
link(146,7) :- #0.883.
link(8,14) :- #0.114.
link(14,8) :- #0.284.
link(8,15) :- #0.007.
link(15,8) :- #0.519.
link(8,20) :- #0.227.
link(20,8) :- #0.332.
link(8,30) :- #0.966.
link(30,8) :- #0.708.
link(8,33) :- #0.515.
link(33,8) :- #0.244.
link(8,38) :- #0.238.
link(38,8) :- #0.073.
link(8,45) :- #0.475.
link(45,8) :- #0.556.
link(8,46) :- #0.637.
link(46,8) :- #0.655.
link(8,60) :- #0.577.
link(60,8) :- #0.501.
link(8,74) :- #0.129.
link(74,8) :- #0.121.
link(8,82) :- #0.86.
link(82,8) :- #0.799.
link(8,93) :- #0.007.
link(93,8) :- #0.024.
link(8,94) :- #0.41.
link(94,8) :- #0.454.
link(8,115) :- #0.033.
link(115,8) :- #0.912.
link(8,120) :- #0.927.
link(120,8) :- #0.306.
link(8,125) :- #0.485.
link(125,8) :- #0.005.
link(8,133) :- #0.116.
link(133,8) :- #0.062.
link(8,140) :- #0.522.
link(140,8) :- #0.863.
link(8,149) :- #0.532.
link(149,8) :- #0.132.
link(8,150) :- #0.514.
link(150,8) :- #0.17.
link(9,13) :- #0.96.
link(13,9) :- #0.672.
link(9,15) :- #0.367.
link(15,9) :- #0.138.
link(9,18) :- #0.106.
link(18,9) :- #0.81.
link(9,23) :- #0.702.
link(23,9) :- #0.486.
link(9,25) :- #0.77.
link(25,9) :- #0.321.
link(9,33) :- #0.07.
link(33,9) :- #0.579.
link(9,35) :- #0.435.
link(35,9) :- #0.786.
link(9,51) :- #0.67.
link(51,9) :- #0.591.
link(9,53) :- #0.262.
link(53,9) :- #0.011.
link(9,71) :- #0.004.
link(71,9) :- #0.082.
link(9,89) :- #0.284.
link(89,9) :- #0.768.
link(9,103) :- #0.111.
link(103,9) :- #0.712.
link(9,105) :- #0.475.
link(105,9) :- #0.484.
link(9,111) :- #0.914.
link(111,9) :- #0.067.
link(9,131) :- #0.873.
link(131,9) :- #0.745.
link(9,135) :- #0.505.
link(135,9) :- #0.24.
link(9,138) :- #0.574.
link(138,9) :- #0.39.
link(9,142) :- #0.913.
link(142,9) :- #0.726.
link(10,11) :- #0.726.
link(11,10) :- #0.73.
link(10,15) :- #0.984.
link(15,10) :- #0.704.
link(10,38) :- #0.625.
link(38,10) :- #0.293.
link(10,59) :- #0.151.
link(59,10) :- #0.321.
link(10,85) :- #0.968.
link(85,10) :- #0.451.
link(10,105) :- #0.088.
link(105,10) :- #0.603.
link(11,33) :- #0.763.
link(33,11) :- #0.922.
link(11,60) :- #0.986.
link(60,11) :- #0.942.
link(11,66) :- #0.438.
link(66,11) :- #0.074.
link(11,75) :- #0.538.
link(75,11) :- #0.306.
link(11,80) :- #0.376.
link(80,11) :- #0.186.
link(11,84) :- #0.86.
link(84,11) :- #0.752.
link(11,94) :- #0.344.
link(94,11) :- #0.787.
link(11,95) :- #0.681.
link(95,11) :- #0.024.
link(11,112) :- #0.563.
link(112,11) :- #0.955.
link(11,121) :- #0.055.
link(121,11) :- #0.965.
link(11,125) :- #0.343.
link(125,11) :- #0.486.
link(11,126) :- #0.995.
link(126,11) :- #0.697.
link(11,130) :- #0.106.
link(130,11) :- #0.352.
link(11,144) :- #0.175.
link(144,11) :- #0.474.
link(12,30) :- #0.02.
link(30,12) :- #0.091.
link(12,37) :- #0.86.
link(37,12) :- #0.458.
link(12,38) :- #0.669.
link(38,12) :- #0.29.
link(12,43) :- #0.505.
link(43,12) :- #0.323.
link(12,49) :- #0.776.
link(49,12) :- #0.056.
link(12,53) :- #0.841.
link(53,12) :- #0.244.
link(12,57) :- #0.723.
link(57,12) :- #0.315.
link(12,59) :- #0.348.
link(59,12) :- #0.974.
link(12,62) :- #0.017.
link(62,12) :- #0.412.
link(12,75) :- #0.888.
link(75,12) :- #0.042.
link(12,76) :- #0.982.
link(76,12) :- #0.372.
link(12,89) :- #0.093.
link(89,12) :- #0.632.
link(12,120) :- #0.378.
link(120,12) :- #0.325.
link(12,128) :- #0.182.
link(128,12) :- #0.184.
link(12,132) :- #0.734.
link(132,12) :- #0.986.
link(12,149) :- #0.019.
link(149,12) :- #0.72.
link(13,18) :- #0.403.
link(18,13) :- #0.492.
link(13,23) :- #0.844.
link(23,13) :- #0.097.
link(13,28) :- #0.549.
link(28,13) :- #0.488.
link(13,30) :- #0.783.
link(30,13) :- #0.976.
link(13,43) :- #0.788.
link(43,13) :- #0.875.
link(13,45) :- #0.348.
link(45,13) :- #0.922.
link(13,47) :- #0.258.
link(47,13) :- #0.328.
link(13,50) :- #0.146.
link(50,13) :- #0.536.
link(13,54) :- #0.767.
link(54,13) :- #0.193.
link(13,73) :- #0.292.
link(73,13) :- #0.453.
link(13,104) :- #0.004.
link(104,13) :- #0.247.
link(13,116) :- #0.698.
link(116,13) :- #0.795.
link(13,131) :- #0.717.
link(131,13) :- #0.335.
link(13,136) :- #0.123.
link(136,13) :- #0.915.
link(13,148) :- #0.404.
link(148,13) :- #0.037.
link(14,17) :- #0.307.
link(17,14) :- #0.808.
link(14,18) :- #0.368.
link(18,14) :- #0.338.
link(14,25) :- #0.496.
link(25,14) :- #0.217.
link(14,26) :- #0.556.
link(26,14) :- #0.891.
link(14,32) :- #0.508.
link(32,14) :- #0.481.
link(14,37) :- #0.285.
link(37,14) :- #0.868.
link(14,40) :- #0.267.
link(40,14) :- #0.42.
link(14,47) :- #0.698.
link(47,14) :- #0.923.
link(14,63) :- #0.322.
link(63,14) :- #0.828.
link(14,79) :- #0.436.
link(79,14) :- #0.195.
link(14,81) :- #0.461.
link(81,14) :- #0.371.
link(14,102) :- #0.829.
link(102,14) :- #0.209.
link(14,113) :- #0.837.
link(113,14) :- #0.12.
link(14,130) :- #0.726.
link(130,14) :- #0.514.
link(14,143) :- #0.209.
link(143,14) :- #0.595.
link(14,147) :- #0.473.
link(147,14) :- #0.876.
link(14,150) :- #0.407.
link(150,14) :- #0.855.
link(15,28) :- #0.371.
link(28,15) :- #0.071.
link(15,30) :- #0.315.
link(30,15) :- #0.821.
link(15,35) :- #0.101.
link(35,15) :- #0.1.
link(15,62) :- #0.534.
link(62,15) :- #0.072.
link(15,64) :- #0.827.
link(64,15) :- #0.97.
link(15,73) :- #0.055.
link(73,15) :- #0.721.
link(15,76) :- #0.403.
link(76,15) :- #0.592.
link(15,98) :- #0.321.
link(98,15) :- #0.704.
link(15,109) :- #0.827.
link(109,15) :- #0.74.
link(15,134) :- #0.802.
link(134,15) :- #0.784.
link(15,138) :- #0.742.
link(138,15) :- #0.068.
link(15,140) :- #0.872.
link(140,15) :- #0.333.
link(15,141) :- #0.716.
link(141,15) :- #0.662.
link(15,146) :- #0.322.
link(146,15) :- #0.528.
link(16,18) :- #0.617.
link(18,16) :- #0.466.
link(16,22) :- #0.206.
link(22,16) :- #0.925.
link(16,25) :- #0.919.
link(25,16) :- #0.684.
link(16,30) :- #0.905.
link(30,16) :- #0.629.
link(16,39) :- #0.915.
link(39,16) :- #0.172.
link(16,43) :- #0.013.
link(43,16) :- #0.867.
link(16,53) :- #0.856.
link(53,16) :- #0.202.
link(16,66) :- #0.021.
link(66,16) :- #0.908.
link(16,83) :- #0.047.
link(83,16) :- #0.308.
link(16,90) :- #0.083.
link(90,16) :- #0.899.
link(16,108) :- #0.035.
link(108,16) :- #0.359.
link(16,136) :- #0.869.
link(136,16) :- #0.57.
link(16,138) :- #0.812.
link(138,16) :- #0.24.
link(16,145) :- #0.338.
link(145,16) :- #0.348.
link(17,30) :- #0.369.
link(30,17) :- #0.585.
link(17,43) :- #0.996.
link(43,17) :- #0.485.
link(17,44) :- #0.959.
link(44,17) :- #0.799.
link(17,46) :- #0.203.
link(46,17) :- #0.401.
link(17,48) :- #0.004.
link(48,17) :- #0.965.
link(17,56) :- #0.148.
link(56,17) :- #0.822.
link(17,69) :- #0.012.
link(69,17) :- #0.356.
link(17,149) :- #0.44.
link(149,17) :- #0.013.
link(18,32) :- #0.039.
link(32,18) :- #0.716.
link(18,47) :- #0.669.
link(47,18) :- #0.83.
link(18,50) :- #0.823.
link(50,18) :- #0.838.
link(18,67) :- #0.721.
link(67,18) :- #0.473.
link(18,77) :- #0.598.
link(77,18) :- #0.444.
link(18,84) :- #0.033.
link(84,18) :- #0.109.
link(18,85) :- #0.734.
link(85,18) :- #0.924.
link(18,90) :- #0.898.
link(90,18) :- #0.551.
link(18,91) :- #0.621.
link(91,18) :- #0.12.
link(18,92) :- #0.565.
link(92,18) :- #0.294.
link(18,97) :- #0.964.
link(97,18) :- #0.208.
link(18,110) :- #0.391.
link(110,18) :- #0.636.
link(18,136) :- #0.61.
link(136,18) :- #0.674.
link(18,139) :- #0.996.
link(139,18) :- #0.649.
link(18,143) :- #0.043.
link(143,18) :- #0.834.
link(18,149) :- #0.135.
link(149,18) :- #0.239.
link(19,41) :- #0.313.
link(41,19) :- #0.923.
link(19,45) :- #0.284.
link(45,19) :- #0.741.
link(19,49) :- #0.659.
link(49,19) :- #0.188.
link(19,53) :- #0.244.
link(53,19) :- #0.798.
link(19,66) :- #0.994.
link(66,19) :- #0.083.
link(19,80) :- #0.011.
link(80,19) :- #0.995.
link(19,81) :- #0.322.
link(81,19) :- #0.524.
link(19,114) :- #0.964.
link(114,19) :- #0.745.
link(19,125) :- #0.5.
link(125,19) :- #0.473.
link(19,127) :- #0.801.
link(127,19) :- #0.655.
link(20,38) :- #0.606.
link(38,20) :- #0.067.
link(20,45) :- #0.45.
link(45,20) :- #0.391.
link(20,46) :- #0.811.
link(46,20) :- #0.161.
link(20,47) :- #0.368.
link(47,20) :- #0.367.
link(20,67) :- #0.542.
link(67,20) :- #0.961.
link(20,86) :- #0.642.
link(86,20) :- #0.314.
link(20,87) :- #0.144.
link(87,20) :- #0.17.
link(20,90) :- #0.246.
link(90,20) :- #0.41.
link(20,100) :- #0.955.
link(100,20) :- #0.672.
link(20,115) :- #0.833.
link(115,20) :- #0.574.
link(20,135) :- #0.96.
link(135,20) :- #0.587.
link(21,24) :- #0.763.
link(24,21) :- #0.341.
link(21,25) :- #0.142.
link(25,21) :- #0.838.
link(21,34) :- #0.51.
link(34,21) :- #0.254.
link(21,45) :- #0.423.
link(45,21) :- #0.376.
link(21,69) :- #0.545.
link(69,21) :- #0.671.
link(21,84) :- #0.302.
link(84,21) :- #0.362.
link(21,86) :- #0.729.
link(86,21) :- #0.56.
link(21,89) :- #0.945.
link(89,21) :- #0.937.
link(21,100) :- #0.665.
link(100,21) :- #0.039.
link(21,114) :- #0.573.
link(114,21) :- #0.514.
link(21,115) :- #0.566.
link(115,21) :- #0.929.
link(21,121) :- #0.487.
link(121,21) :- #0.494.
link(21,138) :- #0.593.
link(138,21) :- #0.209.
link(22,24) :- #0.346.
link(24,22) :- #0.116.
link(22,47) :- #0.165.
link(47,22) :- #0.385.
link(22,51) :- #0.15.
link(51,22) :- #0.217.
link(22,56) :- #0.25.
link(56,22) :- #0.186.
link(22,59) :- #0.789.
link(59,22) :- #0.488.
link(22,65) :- #0.542.
link(65,22) :- #0.693.
link(22,74) :- #0.449.
link(74,22) :- #0.558.
link(22,79) :- #0.817.
link(79,22) :- #0.613.
link(22,86) :- #0.119.
link(86,22) :- #0.647.
link(22,92) :- #0.541.
link(92,22) :- #0.681.
link(22,141) :- #0.375.
link(141,22) :- #0.67.
link(23,37) :- #0.399.
link(37,23) :- #0.674.
link(23,38) :- #0.265.
link(38,23) :- #0.44.
link(23,48) :- #0.32.
link(48,23) :- #0.469.
link(23,53) :- #0.958.
link(53,23) :- #0.942.
link(23,54) :- #0.314.
link(54,23) :- #0.668.
link(23,57) :- #0.974.
link(57,23) :- #0.688.
link(23,85) :- #0.296.
link(85,23) :- #0.284.
link(23,90) :- #0.617.
link(90,23) :- #0.593.
link(23,99) :- #0.555.
link(99,23) :- #0.501.
link(23,102) :- #0.309.
link(102,23) :- #0.117.
link(23,105) :- #0.762.
link(105,23) :- #0.89.
link(23,107) :- #0.992.
link(107,23) :- #0.031.
link(23,110) :- #0.921.
link(110,23) :- #0.395.
link(23,126) :- #0.747.
link(126,23) :- #0.871.
link(23,131) :- #0.249.
link(131,23) :- #0.723.
link(23,136) :- #0.326.
link(136,23) :- #0.135.
link(23,137) :- #0.432.
link(137,23) :- #0.222.
link(23,150) :- #0.749.
link(150,23) :- #0.615.
link(24,39) :- #0.309.
link(39,24) :- #0.218.
link(24,40) :- #0.707.
link(40,24) :- #0.949.
link(24,41) :- #0.888.
link(41,24) :- #0.004.
link(24,47) :- #0.785.
link(47,24) :- #0.852.
link(24,48) :- #0.582.
link(48,24) :- #0.922.
link(24,66) :- #0.637.
link(66,24) :- #0.296.
link(24,70) :- #0.87.
link(70,24) :- #0.287.
link(24,82) :- #0.27.
link(82,24) :- #0.828.
link(24,95) :- #0.894.
link(95,24) :- #0.473.
link(24,105) :- #0.482.
link(105,24) :- #0.699.
link(24,111) :- #0.038.
link(111,24) :- #0.28.
link(24,150) :- #0.744.
link(150,24) :- #0.592.
link(25,41) :- #0.66.
link(41,25) :- #0.673.
link(25,43) :- #0.308.
link(43,25) :- #0.6.
link(25,45) :- #0.333.
link(45,25) :- #0.902.
link(25,50) :- #0.978.
link(50,25) :- #0.1.
link(25,52) :- #0.039.
link(52,25) :- #0.454.
link(25,56) :- #0.501.
link(56,25) :- #0.297.
link(25,69) :- #0.553.
link(69,25) :- #0.126.
link(25,74) :- #0.35.
link(74,25) :- #0.962.
link(25,84) :- #0.161.
link(84,25) :- #0.704.
link(25,100) :- #0.355.
link(100,25) :- #0.168.
link(25,101) :- #0.841.
link(101,25) :- #0.276.
link(25,119) :- #0.968.
link(119,25) :- #0.382.
link(25,124) :- #0.192.
link(124,25) :- #0.615.
link(25,133) :- #0.497.
link(133,25) :- #0.776.
link(25,139) :- #0.801.
link(139,25) :- #0.307.
link(26,35) :- #0.547.
link(35,26) :- #0.068.
link(26,37) :- #0.212.
link(37,26) :- #0.397.
link(26,54) :- #0.622.
link(54,26) :- #0.155.
link(26,55) :- #0.341.
link(55,26) :- #0.398.
link(26,73) :- #0.957.
link(73,26) :- #0.402.
link(26,74) :- #0.646.
link(74,26) :- #0.965.
link(26,89) :- #0.519.
link(89,26) :- #0.123.
link(26,93) :- #0.819.
link(93,26) :- #0.607.
link(26,100) :- #0.696.
link(100,26) :- #0.975.
link(26,108) :- #0.484.
link(108,26) :- #0.485.
link(26,119) :- #0.772.
link(119,26) :- #0.792.
link(26,127) :- #0.784.
link(127,26) :- #0.724.
link(26,128) :- #0.29.
link(128,26) :- #0.655.
link(26,136) :- #0.624.
link(136,26) :- #0.445.
link(26,144) :- #0.839.
link(144,26) :- #0.526.
link(27,31) :- #0.371.
link(31,27) :- #0.939.
link(27,49) :- #0.761.
link(49,27) :- #0.722.
link(27,52) :- #0.472.
link(52,27) :- #0.287.
link(27,57) :- #0.445.
link(57,27) :- #0.48.
link(27,62) :- #0.45.
link(62,27) :- #0.383.
link(27,74) :- #0.852.
link(74,27) :- #0.243.
link(27,78) :- #0.355.
link(78,27) :- #0.475.
link(27,85) :- #0.347.
link(85,27) :- #0.509.
link(27,86) :- #0.718.
link(86,27) :- #0.135.
link(27,92) :- #0.662.
link(92,27) :- #0.797.
link(27,96) :- #0.392.
link(96,27) :- #0.297.
link(27,111) :- #0.558.
link(111,27) :- #0.678.
link(27,122) :- #0.256.
link(122,27) :- #0.81.
link(27,128) :- #0.709.
link(128,27) :- #0.839.
link(27,132) :- #0.229.
link(132,27) :- #0.608.
link(27,137) :- #0.075.
link(137,27) :- #0.815.
link(27,146) :- #0.486.
link(146,27) :- #0.436.
link(27,148) :- #0.204.
link(148,27) :- #0.49.
link(28,35) :- #0.425.
link(35,28) :- #0.2.
link(28,36) :- #0.999.
link(36,28) :- #0.557.
link(28,40) :- #0.102.
link(40,28) :- #0.904.
link(28,47) :- #0.504.
link(47,28) :- #0.329.
link(28,57) :- #0.363.
link(57,28) :- #0.477.
link(28,64) :- #0.68.
link(64,28) :- #0.128.
link(28,69) :- #0.292.
link(69,28) :- #0.931.
link(28,72) :- #0.277.
link(72,28) :- #0.759.
link(28,73) :- #0.249.
link(73,28) :- #0.618.
link(28,79) :- #0.196.
link(79,28) :- #0.626.
link(28,87) :- #0.495.
link(87,28) :- #0.123.
link(28,116) :- #0.933.
link(116,28) :- #0.902.
link(28,128) :- #0.153.
link(128,28) :- #0.495.
link(28,141) :- #0.031.
link(141,28) :- #0.982.
link(28,148) :- #0.008.
link(148,28) :- #0.446.
link(29,30) :- #0.236.
link(30,29) :- #0.551.
link(29,35) :- #0.071.
link(35,29) :- #0.175.
link(29,57) :- #0.3.
link(57,29) :- #0.825.
link(29,62) :- #0.992.
link(62,29) :- #0.109.
link(29,64) :- #0.834.
link(64,29) :- #0.625.
link(29,75) :- #0.653.
link(75,29) :- #0.975.
link(29,85) :- #0.238.
link(85,29) :- #0.461.
link(29,106) :- #0.818.
link(106,29) :- #0.644.
link(29,110) :- #0.652.
link(110,29) :- #0.716.
link(29,111) :- #0.622.
link(111,29) :- #0.668.
link(29,137) :- #0.968.
link(137,29) :- #0.79.
link(30,67) :- #0.22.
link(67,30) :- #0.755.
link(30,68) :- #0.695.
link(68,30) :- #0.804.
link(30,102) :- #0.858.
link(102,30) :- #0.631.
link(30,103) :- #0.748.
link(103,30) :- #0.526.
link(30,106) :- #0.456.
link(106,30) :- #0.327.
link(30,109) :- #0.846.
link(109,30) :- #0.929.
link(30,126) :- #0.814.
link(126,30) :- #0.438.
link(30,128) :- #0.993.
link(128,30) :- #0.272.
link(30,134) :- #0.492.
link(134,30) :- #0.821.
link(31,34) :- #0.642.
link(34,31) :- #0.634.
link(31,41) :- #0.224.
link(41,31) :- #0.641.
link(31,56) :- #0.38.
link(56,31) :- #0.081.
link(31,63) :- #0.274.
link(63,31) :- #0.214.
link(31,64) :- #0.893.
link(64,31) :- #0.285.
link(31,74) :- #0.017.
link(74,31) :- #0.243.
link(31,82) :- #0.258.
link(82,31) :- #0.928.
link(31,84) :- #0.298.
link(84,31) :- #0.486.
link(31,86) :- #0.186.
link(86,31) :- #0.963.
link(31,111) :- #0.007.
link(111,31) :- #0.718.
link(31,117) :- #0.386.
link(117,31) :- #0.11.
link(31,131) :- #0.028.
link(131,31) :- #0.68.
link(31,142) :- #0.015.
link(142,31) :- #0.475.
link(31,146) :- #0.166.
link(146,31) :- #0.195.
link(32,37) :- #0.763.
link(37,32) :- #0.967.
link(32,47) :- #0.181.
link(47,32) :- #0.466.
link(32,56) :- #0.303.
link(56,32) :- #0.174.
link(32,63) :- #0.255.
link(63,32) :- #0.878.
link(32,68) :- #0.934.
link(68,32) :- #0.499.
link(32,94) :- #0.541.
link(94,32) :- #0.215.
link(32,95) :- #0.538.
link(95,32) :- #0.701.
link(32,103) :- #0.159.
link(103,32) :- #0.592.
link(32,119) :- #0.701.
link(119,32) :- #0.349.
link(32,125) :- #0.77.
link(125,32) :- #0.57.
link(32,128) :- #0.632.
link(128,32) :- #0.479.
link(32,129) :- #0.529.
link(129,32) :- #0.846.
link(32,140) :- #0.595.
link(140,32) :- #0.378.
link(32,141) :- #0.611.
link(141,32) :- #0.617.
link(33,36) :- #0.848.
link(36,33) :- #0.738.
link(33,43) :- #0.236.
link(43,33) :- #0.702.
link(33,63) :- #0.835.
link(63,33) :- #0.544.
link(33,66) :- #0.995.
link(66,33) :- #0.837.
link(33,68) :- #0.852.
link(68,33) :- #0.17.
link(33,85) :- #0.693.
link(85,33) :- #0.296.
link(33,92) :- #0.727.
link(92,33) :- #0.083.
link(33,98) :- #0.844.
link(98,33) :- #0.16.
link(33,104) :- #0.007.
link(104,33) :- #0.811.
link(33,106) :- #0.326.
link(106,33) :- #0.815.
link(33,115) :- #0.654.
link(115,33) :- #0.044.
link(33,120) :- #0.744.
link(120,33) :- #0.614.
link(33,125) :- #0.524.
link(125,33) :- #0.603.
link(33,143) :- #0.352.
link(143,33) :- #0.358.
link(33,147) :- #0.838.
link(147,33) :- #0.094.
link(33,148) :- #0.274.
link(148,33) :- #0.245.
link(34,37) :- #0.972.
link(37,34) :- #0.196.
link(34,39) :- #0.53.
link(39,34) :- #0.131.
link(34,45) :- #0.05.
link(45,34) :- #0.116.
link(34,53) :- #0.488.
link(53,34) :- #0.22.
link(34,56) :- #0.971.
link(56,34) :- #0.943.
link(34,60) :- #0.763.
link(60,34) :- #0.094.
link(34,72) :- #0.324.
link(72,34) :- #0.536.
link(34,93) :- #0.933.
link(93,34) :- #0.291.
link(34,95) :- #0.575.
link(95,34) :- #0.691.
link(34,125) :- #0.238.
link(125,34) :- #0.305.
link(34,132) :- #0.506.
link(132,34) :- #0.516.
link(34,150) :- #0.646.
link(150,34) :- #0.064.
link(35,36) :- #0.978.
link(36,35) :- #0.974.
link(35,46) :- #0.319.
link(46,35) :- #0.877.
link(35,66) :- #0.169.
link(66,35) :- #0.094.
link(35,69) :- #0.76.
link(69,35) :- #0.869.
link(35,82) :- #0.707.
link(82,35) :- #0.388.
link(35,102) :- #0.549.
link(102,35) :- #0.709.
link(35,106) :- #0.027.
link(106,35) :- #0.134.
link(35,129) :- #0.702.
link(129,35) :- #0.355.
link(36,39) :- #0.367.
link(39,36) :- #0.498.
link(36,40) :- #0.911.
link(40,36) :- #0.861.
link(36,51) :- #0.479.
link(51,36) :- #0.446.
link(36,52) :- #0.497.
link(52,36) :- #0.33.
link(36,74) :- #0.365.
link(74,36) :- #0.393.
link(36,76) :- #0.987.
link(76,36) :- #0.728.
link(36,79) :- #0.315.
link(79,36) :- #0.795.
link(36,86) :- #0.344.
link(86,36) :- #0.776.
link(36,92) :- #0.755.
link(92,36) :- #0.099.
link(36,101) :- #0.778.
link(101,36) :- #0.996.
link(36,107) :- #0.973.
link(107,36) :- #0.552.
link(36,143) :- #0.457.
link(143,36) :- #0.429.
link(36,145) :- #0.505.
link(145,36) :- #0.406.
link(36,146) :- #0.687.
link(146,36) :- #0.658.
link(37,44) :- #0.906.
link(44,37) :- #0.689.
link(37,72) :- #0.157.
link(72,37) :- #0.754.
link(37,80) :- #0.04.
link(80,37) :- #0.329.
link(37,94) :- #0.661.
link(94,37) :- #0.272.
link(37,118) :- #0.781.
link(118,37) :- #0.401.
link(37,119) :- #0.323.
link(119,37) :- #0.711.
link(37,121) :- #0.86.
link(121,37) :- #0.323.
link(37,129) :- #0.53.
link(129,37) :- #0.028.
link(37,135) :- #0.28.
link(135,37) :- #0.149.
link(37,146) :- #0.622.
link(146,37) :- #0.199.
link(38,46) :- #0.413.
link(46,38) :- #0.586.
link(38,69) :- #0.344.
link(69,38) :- #0.123.
link(38,75) :- #0.163.
link(75,38) :- #0.068.
link(38,77) :- #0.361.
link(77,38) :- #0.647.
link(38,104) :- #0.16.
link(104,38) :- #0.275.
link(38,135) :- #0.929.
link(135,38) :- #0.401.
link(38,140) :- #0.168.
link(140,38) :- #0.755.
link(39,45) :- #0.451.
link(45,39) :- #0.857.
link(39,53) :- #0.954.
link(53,39) :- #0.217.
link(39,68) :- #0.915.
link(68,39) :- #0.211.
link(39,98) :- #0.024.
link(98,39) :- #0.169.
link(39,106) :- #0.691.
link(106,39) :- #0.783.
link(39,114) :- #0.431.
link(114,39) :- #0.748.
link(39,118) :- #0.218.
link(118,39) :- #0.977.
link(39,123) :- #0.545.
link(123,39) :- #0.985.
link(39,130) :- #0.529.
link(130,39) :- #0.638.
link(39,137) :- #0.11.
link(137,39) :- #0.643.
link(39,143) :- #0.34.
link(143,39) :- #0.991.
link(40,47) :- #0.327.
link(47,40) :- #0.07.
link(40,70) :- #0.526.
link(70,40) :- #0.406.
link(40,71) :- #0.285.
link(71,40) :- #0.714.
link(40,79) :- #0.855.
link(79,40) :- #0.568.
link(40,80) :- #0.051.
link(80,40) :- #0.875.
link(40,84) :- #0.973.
link(84,40) :- #0.55.
link(40,100) :- #0.599.
link(100,40) :- #0.534.
link(40,115) :- #0.161.
link(115,40) :- #0.793.
link(40,125) :- #0.768.
link(125,40) :- #0.445.
link(41,43) :- #0.502.
link(43,41) :- #0.48.
link(41,45) :- #0.394.
link(45,41) :- #0.926.
link(41,46) :- #0.894.
link(46,41) :- #0.753.
link(41,48) :- #0.831.
link(48,41) :- #0.439.
link(41,59) :- #0.087.
link(59,41) :- #0.135.
link(41,60) :- #0.553.
link(60,41) :- #0.316.
link(41,69) :- #0.417.
link(69,41) :- #0.323.
link(41,106) :- #0.338.
link(106,41) :- #0.029.
link(41,116) :- #0.507.
link(116,41) :- #0.847.
link(41,130) :- #0.56.
link(130,41) :- #0.771.
link(42,57) :- #0.437.
link(57,42) :- #0.284.
link(42,71) :- #0.028.
link(71,42) :- #0.781.
link(42,78) :- #0.229.
link(78,42) :- #0.512.
link(42,81) :- #0.942.
link(81,42) :- #0.556.
link(42,118) :- #0.117.
link(118,42) :- #0.801.
link(42,129) :- #0.615.
link(129,42) :- #0.666.
link(42,136) :- #0.653.
link(136,42) :- #0.97.
link(43,48) :- #0.072.
link(48,43) :- #0.375.
link(43,51) :- #0.021.
link(51,43) :- #0.06.
link(43,58) :- #0.408.
link(58,43) :- #0.162.
link(43,75) :- #0.858.
link(75,43) :- #0.429.
link(43,77) :- #0.583.
link(77,43) :- #0.993.
link(43,88) :- #0.84.
link(88,43) :- #0.164.
link(43,91) :- #0.922.
link(91,43) :- #0.997.
link(43,95) :- #0.282.
link(95,43) :- #0.69.
link(43,100) :- #0.252.
link(100,43) :- #0.834.
link(43,103) :- #0.142.
link(103,43) :- #0.235.
link(43,106) :- #0.884.
link(106,43) :- #0.464.
link(43,116) :- #0.284.
link(116,43) :- #0.928.
link(43,133) :- #0.283.
link(133,43) :- #0.273.
link(43,138) :- #0.302.
link(138,43) :- #0.03.
link(43,142) :- #0.693.
link(142,43) :- #0.391.
link(43,147) :- #0.146.
link(147,43) :- #0.779.
link(44,56) :- #0.393.
link(56,44) :- #0.761.
link(44,66) :- #0.382.
link(66,44) :- #0.275.
link(44,89) :- #0.89.
link(89,44) :- #0.793.
link(44,95) :- #0.883.
link(95,44) :- #0.529.
link(44,97) :- #0.918.
link(97,44) :- #0.651.
link(44,101) :- #0.963.
link(101,44) :- #0.366.
link(44,102) :- #0.68.
link(102,44) :- #0.956.
link(44,112) :- #0.171.
link(112,44) :- #0.277.
link(45,51) :- #0.496.
link(51,45) :- #0.534.
link(45,52) :- #0.836.
link(52,45) :- #0.03.
link(45,53) :- #0.87.
link(53,45) :- #0.182.
link(45,69) :- #0.813.
link(69,45) :- #0.036.
link(45,84) :- #0.498.
link(84,45) :- #0.209.
link(45,89) :- #0.023.
link(89,45) :- #0.045.
link(45,104) :- #0.845.
link(104,45) :- #0.745.
link(45,106) :- #0.43.
link(106,45) :- #0.874.
link(45,132) :- #0.492.
link(132,45) :- #0.924.
link(45,134) :- #0.812.
link(134,45) :- #0.139.
link(46,51) :- #0.367.
link(51,46) :- #0.626.
link(46,57) :- #0.475.
link(57,46) :- #0.37.
link(46,58) :- #0.523.
link(58,46) :- #0.369.
link(46,72) :- #0.366.
link(72,46) :- #0.74.
link(46,84) :- #0.067.
link(84,46) :- #0.485.
link(46,96) :- #0.239.
link(96,46) :- #0.838.
link(46,97) :- #0.86.
link(97,46) :- #0.008.
link(46,99) :- #0.985.
link(99,46) :- #0.338.
link(46,106) :- #0.433.
link(106,46) :- #0.91.
link(46,120) :- #0.269.
link(120,46) :- #0.029.
link(46,123) :- #0.175.
link(123,46) :- #0.74.
link(46,125) :- #0.301.
link(125,46) :- #0.845.
link(46,128) :- #0.02.
link(128,46) :- #0.437.
link(46,134) :- #0.495.
link(134,46) :- #0.239.
link(46,138) :- #0.845.
link(138,46) :- #0.521.
link(47,55) :- #0.495.
link(55,47) :- #0.475.
link(47,62) :- #0.371.
link(62,47) :- #0.968.
link(47,68) :- #0.384.
link(68,47) :- #0.082.
link(47,70) :- #0.145.
link(70,47) :- #0.582.
link(47,82) :- #0.178.
link(82,47) :- #0.36.
link(47,90) :- #0.829.
link(90,47) :- #0.243.
link(47,98) :- #0.688.
link(98,47) :- #0.482.
link(47,100) :- #0.664.
link(100,47) :- #0.061.
link(47,108) :- #0.661.
link(108,47) :- #0.317.
link(47,110) :- #0.034.
link(110,47) :- #0.729.
link(47,114) :- #0.666.
link(114,47) :- #0.803.
link(47,141) :- #0.156.
link(141,47) :- #0.422.
link(48,54) :- #0.209.
link(54,48) :- #0.939.
link(48,56) :- #0.383.
link(56,48) :- #0.835.
link(48,64) :- #0.189.
link(64,48) :- #0.402.
link(48,115) :- #0.415.
link(115,48) :- #0.813.
link(48,131) :- #0.302.
link(131,48) :- #0.446.
link(48,137) :- #0.168.
link(137,48) :- #0.687.
link(48,148) :- #0.818.
link(148,48) :- #0.342.
link(49,50) :- #0.474.
link(50,49) :- #0.604.
link(49,59) :- #0.073.
link(59,49) :- #0.536.
link(49,60) :- #0.399.
link(60,49) :- #0.774.
link(49,62) :- #0.74.
link(62,49) :- #0.406.
link(49,79) :- #0.58.
link(79,49) :- #0.69.
link(49,87) :- #0.844.
link(87,49) :- #0.827.
link(49,95) :- #0.55.
link(95,49) :- #0.659.
link(49,111) :- #0.464.
link(111,49) :- #0.05.
link(49,138) :- #0.958.
link(138,49) :- #0.818.
link(49,144) :- #0.149.
link(144,49) :- #0.337.
link(49,148) :- #0.62.
link(148,49) :- #0.612.
link(50,61) :- #0.282.
link(61,50) :- #0.453.
link(50,71) :- #0.321.
link(71,50) :- #0.067.
link(50,82) :- #0.687.
link(82,50) :- #0.849.
link(50,84) :- #0.889.
link(84,50) :- #0.454.
link(50,89) :- #0.831.
link(89,50) :- #0.337.
link(50,93) :- #0.458.
link(93,50) :- #0.885.
link(50,132) :- #0.44.
link(132,50) :- #0.94.
link(51,84) :- #0.744.
link(84,51) :- #0.116.
link(51,123) :- #0.502.
link(123,51) :- #0.83.
link(51,148) :- #0.992.
link(148,51) :- #0.498.
link(51,149) :- #0.532.
link(149,51) :- #0.924.
link(52,74) :- #0.752.
link(74,52) :- #0.433.
link(52,87) :- #0.084.
link(87,52) :- #0.205.
link(52,89) :- #0.599.
link(89,52) :- #0.331.
link(52,97) :- #0.543.
link(97,52) :- #0.94.
link(52,109) :- #0.956.
link(109,52) :- #0.461.
link(52,125) :- #0.768.
link(125,52) :- #0.023.
link(52,139) :- #0.525.
link(139,52) :- #0.096.
link(52,141) :- #0.628.
link(141,52) :- #0.939.
link(52,142) :- #0.984.
link(142,52) :- #0.173.
link(53,56) :- #0.575.
link(56,53) :- #0.814.
link(53,65) :- #0.264.
link(65,53) :- #0.544.
link(53,66) :- #0.227.
link(66,53) :- #0.397.
link(53,72) :- #0.176.
link(72,53) :- #0.739.
link(53,74) :- #0.325.
link(74,53) :- #0.153.
link(53,81) :- #0.639.
link(81,53) :- #0.478.
link(53,82) :- #0.144.
link(82,53) :- #0.146.
link(53,89) :- #0.369.
link(89,53) :- #0.714.
link(53,103) :- #0.524.
link(103,53) :- #0.731.
link(53,115) :- #0.318.
link(115,53) :- #0.541.
link(53,117) :- #0.461.
link(117,53) :- #0.85.
link(53,144) :- #0.381.
link(144,53) :- #0.372.
link(53,145) :- #0.904.
link(145,53) :- #0.743.
link(54,57) :- #0.036.
link(57,54) :- #0.425.
link(54,62) :- #0.122.
link(62,54) :- #0.294.
link(54,65) :- #0.519.
link(65,54) :- #0.108.
link(54,70) :- #0.913.
link(70,54) :- #0.73.
link(54,103) :- #0.378.
link(103,54) :- #0.638.
link(54,118) :- #0.97.
link(118,54) :- #0.835.
link(54,137) :- #0.619.
link(137,54) :- #0.294.
link(54,144) :- #0.149.
link(144,54) :- #0.833.
link(54,146) :- #0.01.
link(146,54) :- #0.688.
link(55,58) :- #0.726.
link(58,55) :- #0.078.
link(55,79) :- #0.231.
link(79,55) :- #0.248.
link(55,107) :- #0.592.
link(107,55) :- #0.264.
link(55,109) :- #0.682.
link(109,55) :- #0.547.
link(55,123) :- #0.662.
link(123,55) :- #0.088.
link(55,127) :- #0.578.
link(127,55) :- #0.977.
link(55,129) :- #0.484.
link(129,55) :- #0.668.
link(56,66) :- #0.143.
link(66,56) :- #0.582.
link(56,74) :- #0.73.
link(74,56) :- #0.211.
link(56,84) :- #0.796.
link(84,56) :- #0.192.
link(56,87) :- #0.895.
link(87,56) :- #0.008.
link(56,92) :- #0.351.
link(92,56) :- #0.696.
link(56,104) :- #0.486.
link(104,56) :- #0.889.
link(56,113) :- #0.824.
link(113,56) :- #0.675.
link(56,114) :- #0.338.
link(114,56) :- #0.492.
link(56,118) :- #0.024.
link(118,56) :- #0.29.
link(56,119) :- #0.464.
link(119,56) :- #0.703.
link(56,127) :- #0.
link(127,56) :- #0.463.
link(57,68) :- #0.253.
link(68,57) :- #0.09.
link(57,73) :- #0.599.
link(73,57) :- #0.807.
link(57,76) :- #0.575.
link(76,57) :- #0.218.
link(57,80) :- #0.064.
link(80,57) :- #0.46.
link(57,86) :- #0.856.
link(86,57) :- #0.181.
link(57,90) :- #0.154.
link(90,57) :- #0.027.
link(57,126) :- #0.674.
link(126,57) :- #0.139.
link(58,61) :- #0.81.
link(61,58) :- #0.039.
link(58,62) :- #0.602.
link(62,58) :- #0.881.
link(58,70) :- #0.693.
link(70,58) :- #0.002.
link(58,124) :- #0.746.
link(124,58) :- #0.679.
link(58,130) :- #0.057.
link(130,58) :- #0.907.
link(58,133) :- #0.499.
link(133,58) :- #0.734.
link(58,149) :- #0.471.
link(149,58) :- #0.484.
link(59,70) :- #0.99.
link(70,59) :- #0.044.
link(59,74) :- #0.975.
link(74,59) :- #0.011.
link(59,81) :- #0.587.
link(81,59) :- #0.489.
link(59,83) :- #0.714.
link(83,59) :- #0.993.
link(59,91) :- #0.691.
link(91,59) :- #0.386.
link(59,95) :- #0.033.
link(95,59) :- #0.537.
link(59,98) :- #0.176.
link(98,59) :- #0.864.
link(59,115) :- #0.167.
link(115,59) :- #0.202.
link(59,116) :- #0.982.
link(116,59) :- #0.646.
link(59,117) :- #0.035.
link(117,59) :- #0.137.
link(59,142) :- #0.844.
link(142,59) :- #0.333.
link(59,145) :- #0.408.
link(145,59) :- #0.13.
link(59,148) :- #0.434.
link(148,59) :- #0.233.
link(59,149) :- #0.728.
link(149,59) :- #0.34.
link(60,68) :- #0.796.
link(68,60) :- #0.199.
link(60,72) :- #0.726.
link(72,60) :- #0.802.
link(60,74) :- #0.989.
link(74,60) :- #0.586.
link(60,94) :- #0.483.
link(94,60) :- #0.746.
link(60,99) :- #0.866.
link(99,60) :- #0.408.
link(60,113) :- #0.706.
link(113,60) :- #0.339.
link(60,115) :- #0.898.
link(115,60) :- #0.267.
link(60,120) :- #0.409.
link(120,60) :- #0.001.
link(60,122) :- #0.399.
link(122,60) :- #0.847.
link(60,128) :- #0.352.
link(128,60) :- #0.209.
link(60,136) :- #0.187.
link(136,60) :- #0.424.
link(61,63) :- #0.047.
link(63,61) :- #0.74.
link(61,76) :- #0.235.
link(76,61) :- #0.147.
link(61,86) :- #0.674.
link(86,61) :- #0.242.
link(61,94) :- #0.66.
link(94,61) :- #0.079.
link(61,111) :- #0.488.
link(111,61) :- #0.663.
link(61,115) :- #0.245.
link(115,61) :- #0.329.
link(61,124) :- #0.228.
link(124,61) :- #0.301.
link(61,125) :- #0.612.
link(125,61) :- #0.978.
link(61,142) :- #0.357.
link(142,61) :- #0.645.
link(61,147) :- #0.235.
link(147,61) :- #0.991.
link(61,150) :- #0.983.
link(150,61) :- #0.996.
link(62,64) :- #0.221.
link(64,62) :- #0.423.
link(62,97) :- #0.605.
link(97,62) :- #0.328.
link(62,109) :- #0.512.
link(109,62) :- #0.127.
link(62,122) :- #0.256.
link(122,62) :- #0.627.
link(62,134) :- #0.074.
link(134,62) :- #0.826.
link(62,138) :- #0.469.
link(138,62) :- #0.947.
link(62,142) :- #0.115.
link(142,62) :- #0.045.
link(63,70) :- #0.169.
link(70,63) :- #0.626.
link(63,90) :- #0.374.
link(90,63) :- #0.496.
link(63,102) :- #0.277.
link(102,63) :- #0.241.
link(63,137) :- #0.504.
link(137,63) :- #0.363.
link(63,143) :- #0.236.
link(143,63) :- #0.12.
link(63,145) :- #0.189.
link(145,63) :- #0.536.
link(64,75) :- #0.985.
link(75,64) :- #0.176.
link(64,89) :- #0.516.
link(89,64) :- #0.462.
link(64,92) :- #0.259.
link(92,64) :- #0.896.
link(64,94) :- #0.508.
link(94,64) :- #0.57.
link(64,97) :- #0.489.
link(97,64) :- #0.86.
link(64,101) :- #0.498.
link(101,64) :- #0.355.
link(64,114) :- #0.628.
link(114,64) :- #0.946.
link(64,116) :- #0.978.
link(116,64) :- #0.439.
link(64,119) :- #0.763.
link(119,64) :- #0.473.
link(64,132) :- #0.848.
link(132,64) :- #0.422.
link(64,135) :- #0.539.
link(135,64) :- #0.001.
link(65,83) :- #0.932.
link(83,65) :- #0.922.
link(65,108) :- #0.833.
link(108,65) :- #0.257.
link(65,110) :- #0.643.
link(110,65) :- #0.051.
link(65,114) :- #0.349.
link(114,65) :- #0.922.
link(65,128) :- #0.736.
link(128,65) :- #0.012.
link(65,130) :- #0.451.
link(130,65) :- #0.599.
link(66,80) :- #0.617.
link(80,66) :- #0.84.
link(66,84) :- #0.539.
link(84,66) :- #0.614.
link(66,92) :- #0.529.
link(92,66) :- #0.253.
link(66,94) :- #0.06.
link(94,66) :- #0.044.
link(66,96) :- #0.543.
link(96,66) :- #0.606.
link(66,115) :- #0.262.
link(115,66) :- #0.139.
link(66,123) :- #0.137.
link(123,66) :- #0.191.
link(66,150) :- #0.339.
link(150,66) :- #0.615.
link(67,77) :- #0.981.
link(77,67) :- #0.182.
link(67,80) :- #0.514.
link(80,67) :- #0.071.
link(67,88) :- #0.358.
link(88,67) :- #0.028.
link(67,91) :- #0.157.
link(91,67) :- #0.179.
link(67,106) :- #0.415.
link(106,67) :- #0.593.
link(67,112) :- #0.296.
link(112,67) :- #0.718.
link(67,116) :- #0.773.
link(116,67) :- #0.166.
link(67,124) :- #0.253.
link(124,67) :- #0.714.
link(67,126) :- #0.06.
link(126,67) :- #0.016.
link(67,129) :- #0.992.
link(129,67) :- #0.737.
link(67,131) :- #0.002.
link(131,67) :- #0.441.
link(68,70) :- #0.322.
link(70,68) :- #0.244.
link(68,95) :- #0.986.
link(95,68) :- #0.613.
link(68,101) :- #0.361.
link(101,68) :- #0.854.
link(68,123) :- #0.591.
link(123,68) :- #0.499.
link(68,138) :- #0.505.
link(138,68) :- #0.904.
link(68,150) :- #0.758.
link(150,68) :- #0.176.
link(69,92) :- #0.168.
link(92,69) :- #0.828.
link(69,110) :- #0.768.
link(110,69) :- #0.943.
link(69,111) :- #0.431.
link(111,69) :- #0.041.
link(69,120) :- #0.5.
link(120,69) :- #0.299.
link(69,130) :- #0.496.
link(130,69) :- #0.557.
link(69,133) :- #0.932.
link(133,69) :- #0.607.
link(69,141) :- #0.104.
link(141,69) :- #0.547.
link(69,142) :- #0.122.
link(142,69) :- #0.673.
link(69,145) :- #0.218.
link(145,69) :- #0.233.
link(70,84) :- #0.053.
link(84,70) :- #0.518.
link(70,90) :- #0.879.
link(90,70) :- #0.616.
link(70,94) :- #0.497.
link(94,70) :- #0.975.
link(70,95) :- #0.917.
link(95,70) :- #0.745.
link(70,102) :- #0.131.
link(102,70) :- #0.942.
link(70,109) :- #0.748.
link(109,70) :- #0.949.
link(70,128) :- #0.51.
link(128,70) :- #0.728.
link(70,134) :- #0.816.
link(134,70) :- #0.116.
link(70,149) :- #0.477.
link(149,70) :- #0.152.
link(70,150) :- #0.899.
link(150,70) :- #0.037.
link(71,77) :- #0.249.
link(77,71) :- #0.471.
link(71,87) :- #0.891.
link(87,71) :- #0.614.
link(71,96) :- #0.876.
link(96,71) :- #0.431.
link(71,99) :- #0.314.
link(99,71) :- #0.485.
link(71,101) :- #0.084.
link(101,71) :- #0.551.
link(71,102) :- #0.412.
link(102,71) :- #0.331.
link(71,122) :- #0.592.
link(122,71) :- #0.194.
link(71,133) :- #0.723.
link(133,71) :- #0.551.
link(71,137) :- #0.002.
link(137,71) :- #0.843.
link(71,148) :- #0.618.
link(148,71) :- #0.426.
link(72,74) :- #0.803.
link(74,72) :- #0.981.
link(72,75) :- #0.843.
link(75,72) :- #0.982.
link(72,77) :- #0.396.
link(77,72) :- #0.763.
link(72,78) :- #0.071.
link(78,72) :- #0.947.
link(72,127) :- #0.276.
link(127,72) :- #0.538.
link(72,131) :- #0.201.
link(131,72) :- #0.938.
link(72,138) :- #0.413.
link(138,72) :- #0.012.
link(72,149) :- #0.542.
link(149,72) :- #0.141.
link(73,75) :- #0.01.
link(75,73) :- #0.14.
link(73,101) :- #0.257.
link(101,73) :- #0.337.
link(73,106) :- #0.097.
link(106,73) :- #0.562.
link(73,107) :- #0.923.
link(107,73) :- #0.398.
link(73,114) :- #0.119.
link(114,73) :- #0.824.
link(73,132) :- #0.739.
link(132,73) :- #0.187.
link(74,93) :- #0.839.
link(93,74) :- #0.57.
link(74,110) :- #0.765.
link(110,74) :- #0.55.
link(74,120) :- #0.463.
link(120,74) :- #0.203.
link(74,132) :- #0.299.
link(132,74) :- #0.577.
link(75,100) :- #0.018.
link(100,75) :- #0.039.
link(75,101) :- #0.527.
link(101,75) :- #0.068.
link(75,107) :- #0.394.
link(107,75) :- #0.101.
link(75,127) :- #0.667.
link(127,75) :- #0.819.
link(76,79) :- #0.355.
link(79,76) :- #0.254.
link(76,83) :- #0.5.
link(83,76) :- #0.804.
link(76,90) :- #0.5.
link(90,76) :- #0.346.
link(76,102) :- #0.421.
link(102,76) :- #0.854.
link(76,124) :- #0.167.
link(124,76) :- #0.254.
link(76,130) :- #0.701.
link(130,76) :- #0.322.
link(76,141) :- #0.456.
link(141,76) :- #0.637.
link(77,80) :- #0.411.
link(80,77) :- #0.477.
link(77,90) :- #0.66.
link(90,77) :- #0.845.
link(77,93) :- #0.718.
link(93,77) :- #0.528.
link(77,94) :- #0.878.
link(94,77) :- #0.606.
link(77,113) :- #0.634.
link(113,77) :- #0.079.
link(77,120) :- #0.391.
link(120,77) :- #0.963.
link(77,139) :- #0.604.
link(139,77) :- #0.286.
link(78,106) :- #0.624.
link(106,78) :- #0.825.
link(78,111) :- #0.064.
link(111,78) :- #0.607.
link(78,116) :- #0.259.
link(116,78) :- #0.505.
link(78,127) :- #0.444.
link(127,78) :- #0.899.
link(78,137) :- #0.089.
link(137,78) :- #0.758.
link(78,138) :- #0.529.
link(138,78) :- #0.181.
link(79,81) :- #0.739.
link(81,79) :- #0.118.
link(79,88) :- #0.15.
link(88,79) :- #0.901.
link(79,101) :- #0.906.
link(101,79) :- #0.371.
link(79,102) :- #0.24.
link(102,79) :- #0.341.
link(79,111) :- #0.566.
link(111,79) :- #0.786.
link(79,117) :- #0.351.
link(117,79) :- #0.369.
link(79,122) :- #0.881.
link(122,79) :- #0.422.
link(79,125) :- #0.982.
link(125,79) :- #0.209.
link(79,144) :- #0.78.
link(144,79) :- #0.518.
link(80,90) :- #0.022.
link(90,80) :- #0.043.
link(80,96) :- #0.134.
link(96,80) :- #0.209.
link(80,109) :- #0.305.
link(109,80) :- #0.941.
link(80,112) :- #0.823.
link(112,80) :- #0.831.
link(80,128) :- #0.591.
link(128,80) :- #0.941.
link(80,133) :- #0.211.
link(133,80) :- #0.958.
link(81,87) :- #0.26.
link(87,81) :- #0.747.
link(81,136) :- #0.408.
link(136,81) :- #0.249.
link(81,142) :- #0.865.
link(142,81) :- #0.736.
link(81,145) :- #0.336.
link(145,81) :- #0.827.
link(82,83) :- #0.366.
link(83,82) :- #0.366.
link(82,92) :- #0.981.
link(92,82) :- #0.517.
link(82,93) :- #0.039.
link(93,82) :- #0.146.
link(82,102) :- #0.074.
link(102,82) :- #0.967.
link(82,103) :- #0.535.
link(103,82) :- #0.369.
link(82,109) :- #0.901.
link(109,82) :- #0.78.
link(83,92) :- #0.433.
link(92,83) :- #0.75.
link(83,105) :- #0.45.
link(105,83) :- #0.961.
link(83,109) :- #0.612.
link(109,83) :- #0.855.
link(83,111) :- #0.936.
link(111,83) :- #0.544.
link(83,120) :- #0.37.
link(120,83) :- #0.143.
link(83,148) :- #0.915.
link(148,83) :- #0.463.
link(83,149) :- #0.034.
link(149,83) :- #0.107.
link(84,95) :- #0.239.
link(95,84) :- #0.851.
link(84,110) :- #0.769.
link(110,84) :- #0.12.
link(84,112) :- #0.682.
link(112,84) :- #0.825.
link(84,121) :- #0.894.
link(121,84) :- #0.583.
link(84,133) :- #0.764.
link(133,84) :- #0.714.
link(85,87) :- #0.651.
link(87,85) :- #0.601.
link(85,96) :- #0.591.
link(96,85) :- #0.034.
link(85,105) :- #0.313.
link(105,85) :- #0.141.
link(85,107) :- #0.983.
link(107,85) :- #0.534.
link(85,110) :- #0.688.
link(110,85) :- #0.366.
link(85,116) :- #0.115.
link(116,85) :- #0.346.
link(85,120) :- #0.633.
link(120,85) :- #0.77.
link(85,144) :- #0.852.
link(144,85) :- #0.927.
link(86,88) :- #0.37.
link(88,86) :- #0.263.
link(86,97) :- #0.078.
link(97,86) :- #0.564.
link(86,98) :- #0.395.
link(98,86) :- #0.216.
link(86,109) :- #0.195.
link(109,86) :- #0.088.
link(86,117) :- #0.143.
link(117,86) :- #0.446.
link(86,123) :- #0.387.
link(123,86) :- #0.071.
link(86,133) :- #0.436.
link(133,86) :- #0.811.
link(87,97) :- #0.065.
link(97,87) :- #0.619.
link(87,102) :- #0.076.
link(102,87) :- #0.371.
link(87,149) :- #0.395.
link(149,87) :- #0.317.
link(88,91) :- #0.767.
link(91,88) :- #0.466.
link(88,95) :- #0.198.
link(95,88) :- #0.492.
link(88,101) :- #0.252.
link(101,88) :- #0.743.
link(88,109) :- #0.525.
link(109,88) :- #0.702.
link(88,129) :- #0.026.
link(129,88) :- #0.307.
link(88,130) :- #0.348.
link(130,88) :- #0.674.
link(88,146) :- #0.061.
link(146,88) :- #0.336.
link(89,105) :- #0.429.
link(105,89) :- #0.463.
link(89,127) :- #0.461.
link(127,89) :- #0.652.
link(90,97) :- #0.184.
link(97,90) :- #0.786.
link(90,102) :- #0.05.
link(102,90) :- #0.603.
link(90,138) :- #0.264.
link(138,90) :- #0.443.
link(91,105) :- #0.351.
link(105,91) :- #0.061.
link(91,113) :- #0.408.
link(113,91) :- #0.036.
link(91,115) :- #0.758.
link(115,91) :- #0.344.
link(91,128) :- #0.644.
link(128,91) :- #0.367.
link(92,105) :- #0.718.
link(105,92) :- #0.023.
link(92,107) :- #0.943.
link(107,92) :- #0.599.
link(92,131) :- #0.264.
link(131,92) :- #0.216.
link(92,145) :- #0.439.
link(145,92) :- #0.608.
link(93,98) :- #0.987.
link(98,93) :- #0.416.
link(93,136) :- #0.365.
link(136,93) :- #0.555.
link(93,138) :- #0.776.
link(138,93) :- #0.78.
link(93,147) :- #0.866.
link(147,93) :- #0.183.
link(94,115) :- #0.97.
link(115,94) :- #0.27.
link(94,144) :- #0.221.
link(144,94) :- #0.482.
link(94,147) :- #0.657.
link(147,94) :- #0.886.
link(95,125) :- #0.276.
link(125,95) :- #0.173.
link(95,128) :- #0.195.
link(128,95) :- #0.511.
link(95,131) :- #0.523.
link(131,95) :- #0.79.
link(95,134) :- #0.755.
link(134,95) :- #0.648.
link(96,110) :- #0.596.
link(110,96) :- #0.596.
link(96,125) :- #0.124.
link(125,96) :- #0.301.
link(96,132) :- #0.501.
link(132,96) :- #0.947.
link(96,137) :- #0.744.
link(137,96) :- #0.948.
link(96,141) :- #0.666.
link(141,96) :- #0.219.
link(96,150) :- #0.246.
link(150,96) :- #0.319.
link(97,106) :- #0.648.
link(106,97) :- #0.802.
link(97,134) :- #0.466.
link(134,97) :- #0.39.
link(97,144) :- #0.581.
link(144,97) :- #0.768.
link(97,148) :- #0.396.
link(148,97) :- #0.811.
link(98,103) :- #0.196.
link(103,98) :- #0.318.
link(98,108) :- #0.943.
link(108,98) :- #0.906.
link(98,112) :- #0.753.
link(112,98) :- #0.453.
link(98,120) :- #0.881.
link(120,98) :- #0.548.
link(98,121) :- #0.411.
link(121,98) :- #0.166.
link(98,122) :- #0.818.
link(122,98) :- #0.764.
link(98,132) :- #0.567.
link(132,98) :- #0.797.
link(98,135) :- #0.176.
link(135,98) :- #0.857.
link(98,137) :- #0.552.
link(137,98) :- #0.784.
link(98,147) :- #0.436.
link(147,98) :- #0.533.
link(98,148) :- #0.426.
link(148,98) :- #0.257.
link(99,101) :- #0.014.
link(101,99) :- #0.771.
link(99,104) :- #0.868.
link(104,99) :- #0.722.
link(99,109) :- #0.728.
link(109,99) :- #0.699.
link(99,114) :- #0.478.
link(114,99) :- #0.271.
link(99,115) :- #0.659.
link(115,99) :- #0.938.
link(99,132) :- #0.761.
link(132,99) :- #0.288.
link(100,106) :- #0.316.
link(106,100) :- #0.007.
link(100,107) :- #0.528.
link(107,100) :- #0.941.
link(100,113) :- #0.044.
link(113,100) :- #0.37.
link(100,114) :- #0.148.
link(114,100) :- #0.815.
link(100,120) :- #0.989.
link(120,100) :- #0.27.
link(100,131) :- #0.443.
link(131,100) :- #0.717.
link(100,140) :- #0.238.
link(140,100) :- #0.266.
link(101,103) :- #0.057.
link(103,101) :- #0.114.
link(101,112) :- #0.805.
link(112,101) :- #0.346.
link(101,135) :- #0.891.
link(135,101) :- #0.162.
link(101,139) :- #0.389.
link(139,101) :- #0.141.
link(101,143) :- #0.727.
link(143,101) :- #0.024.
link(102,103) :- #0.601.
link(103,102) :- #0.227.
link(102,106) :- #0.401.
link(106,102) :- #0.026.
link(102,114) :- #0.902.
link(114,102) :- #0.23.
link(102,116) :- #0.829.
link(116,102) :- #0.324.
link(102,121) :- #0.606.
link(121,102) :- #0.681.
link(102,131) :- #0.502.
link(131,102) :- #0.68.
link(102,133) :- #0.109.
link(133,102) :- #0.667.
link(102,149) :- #0.93.
link(149,102) :- #0.639.
link(103,117) :- #0.214.
link(117,103) :- #0.714.
link(103,131) :- #0.237.
link(131,103) :- #0.156.
link(103,134) :- #0.103.
link(134,103) :- #0.264.
link(103,137) :- #0.996.
link(137,103) :- #0.402.
link(103,148) :- #0.673.
link(148,103) :- #0.158.
link(104,116) :- #0.399.
link(116,104) :- #0.907.
link(104,118) :- #0.719.
link(118,104) :- #0.8.
link(104,125) :- #0.567.
link(125,104) :- #0.382.
link(104,146) :- #0.625.
link(146,104) :- #0.106.
link(105,114) :- #0.65.
link(114,105) :- #0.697.
link(105,115) :- #0.866.
link(115,105) :- #0.596.
link(105,126) :- #0.187.
link(126,105) :- #0.743.
link(105,129) :- #0.97.
link(129,105) :- #0.495.
link(106,107) :- #0.129.
link(107,106) :- #0.932.
link(106,116) :- #0.573.
link(116,106) :- #0.851.
link(106,119) :- #0.848.
link(119,106) :- #0.141.
link(106,125) :- #0.487.
link(125,106) :- #0.116.
link(106,128) :- #0.209.
link(128,106) :- #0.098.
link(106,130) :- #0.094.
link(130,106) :- #0.587.
link(106,144) :- #0.478.
link(144,106) :- #0.875.
link(107,111) :- #0.002.
link(111,107) :- #0.492.
link(107,112) :- #0.839.
link(112,107) :- #0.969.
link(107,115) :- #0.419.
link(115,107) :- #0.335.
link(107,122) :- #0.95.
link(122,107) :- #0.704.
link(107,148) :- #0.68.
link(148,107) :- #0.582.
link(108,129) :- #0.314.
link(129,108) :- #0.628.
link(108,135) :- #0.337.
link(135,108) :- #0.654.
link(108,141) :- #0.718.
link(141,108) :- #0.525.
link(108,143) :- #0.181.
link(143,108) :- #0.013.
link(108,148) :- #0.339.
link(148,108) :- #0.416.
link(109,121) :- #0.991.
link(121,109) :- #0.37.
link(109,140) :- #0.915.
link(140,109) :- #0.756.
link(109,145) :- #0.999.
link(145,109) :- #0.599.
link(109,150) :- #0.016.
link(150,109) :- #0.39.
link(110,119) :- #0.491.
link(119,110) :- #0.989.
link(110,123) :- #0.707.
link(123,110) :- #0.921.
link(110,124) :- #0.32.
link(124,110) :- #0.241.
link(110,133) :- #0.723.
link(133,110) :- #0.964.
link(111,120) :- #0.753.
link(120,111) :- #0.077.
link(111,128) :- #0.737.
link(128,111) :- #0.641.
link(111,141) :- #0.089.
link(141,111) :- #0.899.
link(111,146) :- #0.89.
link(146,111) :- #0.959.
link(111,147) :- #0.177.
link(147,111) :- #0.534.
link(112,130) :- #0.743.
link(130,112) :- #0.953.
link(112,138) :- #0.813.
link(138,112) :- #0.23.
link(112,142) :- #0.371.
link(142,112) :- #0.457.
link(112,147) :- #0.165.
link(147,112) :- #0.577.
link(113,121) :- #0.816.
link(121,113) :- #0.646.
link(113,123) :- #0.817.
link(123,113) :- #0.648.
link(113,124) :- #0.437.
link(124,113) :- #0.441.
link(113,125) :- #0.789.
link(125,113) :- #0.965.
link(113,132) :- #0.317.
link(132,113) :- #0.08.
link(113,144) :- #0.293.
link(144,113) :- #0.04.
link(114,116) :- #0.422.
link(116,114) :- #0.436.
link(114,117) :- #0.064.
link(117,114) :- #0.439.
link(114,118) :- #0.149.
link(118,114) :- #0.803.
link(114,123) :- #0.487.
link(123,114) :- #0.06.
link(114,124) :- #0.711.
link(124,114) :- #0.046.
link(114,149) :- #0.437.
link(149,114) :- #0.626.
link(115,118) :- #0.97.
link(118,115) :- #0.093.
link(115,119) :- #0.825.
link(119,115) :- #0.003.
link(115,126) :- #0.045.
link(126,115) :- #0.552.
link(115,127) :- #0.049.
link(127,115) :- #0.667.
link(115,133) :- #0.912.
link(133,115) :- #0.474.
link(115,147) :- #0.581.
link(147,115) :- #0.499.
link(116,131) :- #0.128.
link(131,116) :- #0.468.
link(117,121) :- #0.293.
link(121,117) :- #0.658.
link(118,128) :- #0.57.
link(128,118) :- #0.142.
link(118,130) :- #0.939.
link(130,118) :- #0.886.
link(118,136) :- #0.088.
link(136,118) :- #0.314.
link(119,121) :- #0.965.
link(121,119) :- #0.581.
link(119,122) :- #0.326.
link(122,119) :- #0.21.
link(119,128) :- #0.966.
link(128,119) :- #0.967.
link(119,131) :- #0.672.
link(131,119) :- #0.653.
link(119,143) :- #0.056.
link(143,119) :- #0.779.
link(120,122) :- #0.561.
link(122,120) :- #0.624.
link(120,126) :- #0.036.
link(126,120) :- #0.996.
link(120,132) :- #0.951.
link(132,120) :- #0.833.
link(121,127) :- #0.853.
link(127,121) :- #0.186.
link(121,144) :- #0.964.
link(144,121) :- #0.65.
link(121,145) :- #0.714.
link(145,121) :- #0.155.
link(122,137) :- #0.941.
link(137,122) :- #0.768.
link(122,139) :- #0.544.
link(139,122) :- #0.458.
link(122,144) :- #0.91.
link(144,122) :- #0.838.
link(123,124) :- #0.991.
link(124,123) :- #0.518.
link(123,126) :- #0.743.
link(126,123) :- #0.524.
link(123,133) :- #0.988.
link(133,123) :- #0.881.
link(123,134) :- #0.861.
link(134,123) :- #0.458.
link(123,138) :- #0.99.
link(138,123) :- #0.442.
link(123,144) :- #0.759.
link(144,123) :- #0.432.
link(123,148) :- #0.636.
link(148,123) :- #0.428.
link(124,129) :- #0.811.
link(129,124) :- #0.515.
link(125,126) :- #0.99.
link(126,125) :- #0.612.
link(126,131) :- #0.072.
link(131,126) :- #0.953.
link(127,138) :- #0.855.
link(138,127) :- #0.6.
link(127,140) :- #0.114.
link(140,127) :- #0.548.
link(127,142) :- #0.661.
link(142,127) :- #0.533.
link(127,150) :- #0.29.
link(150,127) :- #0.534.
link(128,137) :- #0.068.
link(137,128) :- #0.793.
link(129,139) :- #0.389.
link(139,129) :- #0.623.
link(129,140) :- #0.899.
link(140,129) :- #0.05.
link(129,145) :- #0.049.
link(145,129) :- #0.262.
link(131,139) :- #0.188.
link(139,131) :- #0.732.
link(131,145) :- #0.831.
link(145,131) :- #0.111.
link(131,147) :- #0.57.
link(147,131) :- #0.62.
link(132,133) :- #0.878.
link(133,132) :- #0.194.
link(132,145) :- #0.801.
link(145,132) :- #0.169.
link(133,137) :- #0.937.
link(137,133) :- #0.05.
link(134,143) :- #0.729.
link(143,134) :- #0.447.
link(134,148) :- #0.323.
link(148,134) :- #0.877.
link(134,150) :- #0.425.
link(150,134) :- #0.432.
link(135,138) :- #0.592.
link(138,135) :- #0.191.
link(135,144) :- #0.638.
link(144,135) :- #0.241.
link(135,149) :- #0.063.
link(149,135) :- #0.699.
link(136,139) :- #0.971.
link(139,136) :- #0.613.
link(136,146) :- #0.452.
link(146,136) :- #0.07.
link(136,149) :- #0.982.
link(149,136) :- #0.352.
link(137,148) :- #0.252.
link(148,137) :- #0.428.
link(139,142) :- #0.206.
link(142,139) :- #0.146.
link(139,146) :- #0.815.
link(146,139) :- #0.813.
link(139,147) :- #0.222.
link(147,139) :- #0.236.
link(140,143) :- #0.478.
link(143,140) :- #0.458.
link(140,146) :- #0.642.
link(146,140) :- #0.28.
link(141,144) :- #0.485.
link(144,141) :- #0.701.
link(141,150) :- #0.945.
link(150,141) :- #0.739.
link(143,146) :- #0.523.
link(146,143) :- #0.081.
link(145,148) :- #0.754.
link(148,145) :- #0.471.
link(146,149) :- #0.664.
link(149,146) :- #0.921.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
